$\forall$$L$:(Top List), $n$:\{0..($\parallel$$L$$\parallel$+1)$^{-}$\}. $L$ $\sim$ (firstn($n$;$L$) @ nth\_tl($n$;$L$))